#ifndef _BOARD_TIM_H_
#define _BOARD_TIM_H_

#include <stdint.h>

void trigger_timer_init(void);
void dac_trigger_timer_init(uint16_t hz);

#endif
